Search Results
SIGARCH Visioning Workshop: Agile and Open Hardware for Next Generation Computing -- Adam Chlipala
SIGARCH Visioning Workshop: Agile and Open Hardware for Next Generation Computing -- Sophia Shao
SIGARCH Visioning Workshop: Agile and Open Hardware for Next Generation Computing: Borivoje Nikolic
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Never Again: Spectre-Proofing Chip Designs with End-to-End Formal Methods
Adam Chlipala Lecture 1, OPLSS 2015
990 Agile Hardware Development
CACM August 2016 - Ur/Web: A Simple Model for Programming the Web
Face Reveal! (Priviți pe propriul risc)
Correct-by-Construction Cryptographic Arithmetic in Coq - Adam Chlipala | Lambda Days 2021
ICFP Social Events Ask Me Anything on Coq with Adam Chlipala
Open Source IC Design and Hardware Reverse Engineering Or: How I Learned to Stop... Johanna Baehr
